The lambdaPi-calculus, a theory of first-order dependent function types in Curry-Howard-de Bruijn correspondence with a fragment of minimal first-order logic, is defined as a system of (linearized) natural deduction. In this paper, we present a Gentzen-style sequent calculus for the lambdaPi-calculus and prove the cut-elimination theorem. The cut-elimination result builds upon the existence of normal forms for the natural deduction system and can be considered to be analogous to a proof provided by Prawitz for first-order logic. The type-theoretic setting (...) considered here elegantly illustrates the distinction between the processes of normalization in a natural deduction system and cut-elimination in a Gentzen-style sequent calculus. (shrink)

BackgroundThe ARRIVE (Animal Research: Reporting of In Vivo Experiments) guidelines are widely endorsed but compliance is limited. We sought to determine whether journal-requested completion of an ARRIVE checklist improves full compliance with the guidelines.MethodsIn a randomised controlled trial, manuscripts reporting in vivo animal research submitted to PLOS ONE (March–June 2015) were randomly allocated to either requested completion of an ARRIVE checklist or current standard practice. Authors, academic editors, and peer reviewers were blinded to group allocation. Trained reviewers performed outcome adjudication (...) in duplicate by assessing manuscripts against an operationalised version of the ARRIVE guidelines that consists 108 items. Our primary outcome was the between-group differences in the proportion of manuscripts meeting all ARRIVE guideline checklist subitems.ResultsWe randomised 1689 manuscripts (control: n = 844, intervention: n = 845), of which 1269 were sent for peer review and 762 (control: n = 340; intervention: n = 332) accepted for publication. No manuscript in either group achieved full compliance with the ARRIVE checklist. Details of animal husbandry (ARRIVE subitem 9b) was the only subitem to show improvements in reporting, with the proportion of compliant manuscripts rising from 52.1 to 74.1% (X2 = 34.0, df = 1, p = 2.1 × 10−7) in the control and intervention groups, respectively.ConclusionsThese results suggest that altering the editorial process to include requests for a completed ARRIVE checklist is not enough to improve compliance with the ARRIVE guidelines. Other approaches, such as more stringent editorial policies or a targeted approach on key quality items, may promote improvements in reporting. (shrink)

At any given time, a subject has a multiplicity of conscious experiences. A subject might simultaneously have visual experiences of a red book and a green tree, auditory experiences of birds singing, bodily sensations of a faint hunger and a sharp pain in the shoulder, the emotional experience of a certain melancholy, while having a stream of conscious thoughts about the nature of reality. These experiences are distinct from each other: a subject could experience the red book without the singing (...) birds, and could experience the singing birds without the red book. But at the same time, the experiences seem to be tied together in a deep way. They seem to be unified, by being aspects of a single encompassing state of consciousness. (shrink)

Connectionist models provide a promising alternative to the traditional computational approach that has for several decades dominated cognitive science and artificial intelligence, although the nature of connectionist models and their relation to symbol processing remains controversial. Connectionist models can be characterized by three general computational features: distinct layers of interconnected units, recursive rules for updating the strengths of the connections during learning, and “simple” homogeneous computing elements. Using just these three features one can construct surprisingly elegant and powerful models of (...) memory, perception, motor control, categorization, and reasoning. What makes the connectionist approach unique is not its variety of representational possibilities or its departure from explicit rule-based models, or even its preoccupation with the brain metaphor. Rather, it is that connectionist models can be used to explore systematically the complex interaction between learning and representation, as we try to demonstrate through the analysis of several large networks. (shrink)

The future of higher education is in question as universities struggle to remain relevant to the present and future needs of society. The context in which learning occurs is rapidly changing and those engaged and interested in the place and position of university education need to figure out to adapt. This book embodies a vision for higher education where graduate attributes and proficiencies are at the core of the academic project, where degree programs move beyond disciplinary content and where students (...) are encouraged to be Citizen Scholars. Through a series of cross-disciplinary and contextual cases, the contributors to this book articulate how this vision can be achieved in our pedagogical environments, future proofing higher education. (shrink)

This book is the result of a conference that addressed two pressing issues for christianity in the modern world.

This interdisciplinary and systematic collection of essays explores pragmatism in relation to three key episodes in American culture: Progressivism, Positivism, and Postmodernism.

This article explores the various senses in which the framers of the Constitution were motivated by a pragmatist philosophical framework, and how this pragmatism influenced their vision of the best interests of the American economic system. We argue that, on various grounds, the framers would have disapproved of the excessive regulation that characterizes the current business environment.

Sometimes it feels as though we can control our minds. We catch ourselves looking out the window when we should be paying attention to someone talking, for example, and we purposefully return our attention to the conversation. Or we wrest our minds away from the bothersome thought of an upcoming dental appointment to focus on anything we can find that makes us less nervous. Control attempts such as these can meet with success, leaving us feeling the masters of our consciousness. (...) Yet at other times.. (shrink)

This book focuses primarily on a critique of the thought of Richard Rorty, who, according to Bhaskar, provides an excellent commentary on the epistemological problem of contemporary philosophy. This commentary, however, is partial. This is because, as Bhaskar sees it, Rorty fails to reject the "positivist instrumentalist and Humean-Hempelean bias" of contemporary thought.

In a friendly interdisciplinary debate, we interrogate from several vantage points the question of “personhood” in light of contemporary and near-future forms of social AI. David J. Gunkel approaches the matter from a philosophical and legal standpoint, while Jordan Wales offers reflections theological and psychological. Attending to metaphysical, moral, social, and legal understandings of personhood, we ask about the position of apparently personal artificial intelligences in our society and individual lives. Re-examining the “person” and questioning prominent construals of that (...) category, we hope to open new views upon urgent and much-discussed questions that, quite soon, may confront us in our daily lives. (shrink)

The book is an extended study of the problem of consciousness. After setting up the problem, I argue that reductive explanation of consciousness is impossible , and that if one takes consciousness seriously, one has to go beyond a strict materialist framework. In the second half of the book, I move toward a positive theory of consciousness with fundamental laws linking the physical and the experiential in a systematic way. Finally, I use the ideas and arguments developed earlier to defend (...) a form of strong artificial intelligence and to analyze some problems in the foundations of quantum mechanics. (shrink)

Introduction: making the invisible visible -- The nobility of the material -- Research at war -- The guilded age of research -- The doctor as whistle-blower -- New rules for the laboratory -- Bedside ethics -- The doctor as stranger -- Life through death -- Commissioning ethics -- No one to trust -- New rules for the bedside -- Epilogue: The price of success.

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

There has been much interest in the possibility of connectionist models whose representations can be endowed with compositional structure, and a variety of such models have been proposed. These models typically use distributed representations that arise from the functional composition of constituent parts. Functional composition and decomposition alone, however, yield only an implementation of classical symbolic theories. This paper explores the possibility of moving beyond implementation by exploiting holistic structure-sensitive operations on distributed representations. An experiment is performed using Pollack’s Recursive (...) Auto-Associative Memory. RAAM is used to construct distributed representations of syntactically structured sentences. A feed-forward network is then trained to operate directly on these representations, modeling syn- tactic transformations of the represented sentences. Successful training and generalization is obtained, demonstrating that the implicit structure present in these representations can be used for a kind of structure-sensitive processing unique to the connectionist domain. (shrink)

*[[This paper appears in _Toward a Science of Consciousness II: The Second Tucson Discussions and Debates_ (S. Hameroff, A. Kaszniak, and A.Scott, eds), published with MIT Press in 1998. It is a transcript of my talk at the second Tucson conference in April 1996, lightly edited to include the contents of overheads and to exclude some diversions with a consciousness meter. A more in-depth argument for some of the claims in this paper can be found in Chapter 6 of my (...) book _The Conscious Mind_ (Chalmers, 1996). ]]. (shrink)

There is a long tradition in philosophy of using a priori methods to draw conclusions about what is possible and what is necessary, and often in turn to draw conclusions about matters of substantive metaphysics. Arguments like this typically have three steps: first an epistemic claim , from there to a modal claim , and from there to a metaphysical claim.

In the Garden of Eden, we had unmediated contact with the world. We were directly acquainted with objects in the world and with their properties. Objects were simply presented to us without causal mediation, and properties were revealed to us in their true intrinsic glory.

A month ago, I bought an iPhone. The iPhone has already taken over some of the central functions of my brain. It has replaced part of my memory, storing phone numbers and addresses that I once would have taxed my brain with. It harbors my desires: I call up a memo with the names of my favorite dishes when I need to order at a local restaurant. I use it to calculate, when I need to figure out bills and tips. (...) It is a tremendous resource in an argument, with Google ever present to help settle disputes. I make plans with it, using its calendar to help determine what I can and can’t do in the coming months. I even daydream on the iPhone, idly calling up words and images when my concentration slips. Friends joke that I should get the iPhone implanted into my brain. But if Andy Clark is right, all this would do is speed up the processing, and free up my hands. The iPhone is part of my mind already. Clark is a connoisseur of the myriad ways in which the mind relies on the world to get its work done. The first part of this marvelous book explores some of these ways: the extension of our bodies, the extension of our senses, and crucially, the use of language as a tool to extend our thought. The second part of the book defends the thesis that in at least some of these cases, the world is not serving as a mere instrument for the mind. Rather, the relevant parts of the world have become parts of my mind. My iPhone is not my tool, or at least it is not wholly my tool. Parts of it have become parts of me. This is the thesis of the extended mind: when parts of the environment are coupled to the brain in the right way, they become parts of the mind. The thesis has a long history: I am told that there are hints of it in Dewey, Heidegger, and Wittgenstein. But no-one has done as much to give life to the idea as Andy Clark. In a series of important books and articles—Being There, Natural-Born Cyborgs, “Magic words: How language augments human computation”, and many others—he has explored the many ways in which the boundaries between mind and world are far more flexible than one might have thought.. (shrink)

Consciousness and intentionality are perhaps the two central phenomena in the philosophy of mind. Human beings are conscious beings: there is something it is like to be us. Human beings are intentional beings: we represent what is going on in the world.Correspondingly, our specific mental states, such as perceptions and thoughts, very often have a phenomenal character: there is something it is like to be in them. And these mental states very often have intentional content: they serve to represent the (...) world. On the face of it, consciousness and intentionality are intimately connected. Our most important conscious mental states are intentional states: conscious experiences often inform us about the state of the world. And our most important intentional mental states are conscious states: there is often something it is like to represent the external world. It is natural to think that a satisfactory account of consciousness must respect its intentional structure, and that a satisfactory account of intentionality must respect its phenomenological character.With this in mind, it is surprising that in the last few decades, the philosophical study of consciousness and intentionality has often proceeded in two independent streams. This wasnot always the case. In the work of philosophers from Descartes and Locke to Brentano and Husserl, consciousness and intentionality were typically analyzed in a single package. But in the second half of the twentieth century, the dominant tendency was to concentrate on onetopic or the other, and to offer quite separate analyses of the two. On this approach, the connections between consciousness and intentionality receded into the background.In the last few years, this has begun to change. The interface between consciousness and intentionality has received increasing attention on a number of fronts. This attention has focused on such topics as the representational content of perceptual experience, the higherorder representation of conscious states, and the phenomenology of thinking. Two distinct philosophical groups have begun to emerge. One group focuses on ways in which consciousness might be grounded in intentionality. The other group focuses on ways in which intentionality might be grounded in consciousness. (shrink)

The philosophical interest of verbal disputes is twofold. First, they play a key role in philosophical method. Many philosophical disagreements are at least partly verbal, and almost every philosophical dispute has been diagnosed as verbal at some point. Here we can see the diagnosis of verbal disputes as a tool for philosophical progress. Second, they are interesting as a subject matter for first-order philosophy. Reflection on the existence and nature of verbal disputes can reveal something about the nature of concepts, (...) language, and meaning. In this article I first characterize verbal disputes, spell out a method for isolating and resolving them, and draw out conclusions for philosophical methodology. I then use the framework to draw out consequences in first-order philosophy. In particular, I argue that the analysis of verbal disputes can be used to support the existence of a distinctive sort of primitive concept and that it can be used to reconstruct a version of an analytic/synthetic distinction, where both are characterized in dialectical terms alone. (shrink)

Is conceptual analysis required for reductive explanation? If there is no a priori entailment from microphysical truths to phenomenal truths, does reductive explanation of the phenomenal fail? We say yes . Ned Block and Robert Stalnaker say no.

Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with (...) quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring. (shrink)

This chapter analyzes aspects of the relationship between consciousness and intentionality. It focuses on the phenomenal character and the intentional content of perceptual states, canvassing various possible relations among them. It argues that there is a good case for a sort of representationalism, although this may not take the form that its advocates often suggest. By mapping out some of the landscape, the chapter tries to open up territory for different and promising forms of representationalism to be explored in the (...) future. In particular, it argues for a nonreductive, narrow, and Fregean variety of representationalism, which contrasts strongly with more widely explored varieties. It concludes with some words about the fundamental relationship between consciousness and intentionality. (shrink)

In this short introduction, David J. Gunkel examines the shifting world of artificial intelligence, mapping it onto everyday twenty-first century life and probing the consequences of this ever-growing industry and movement. The book investigates the significance and consequences of the robot invasion in an effort to map the increasingly complicated social terrain of the twenty-first century. Whether we recognize it as such or not, we are in the midst of a robot invasion. What matters most in the face of (...) this machine incursion is not resistance, but how we decide to make sense of and respond to the social opportunities and challenges that autonomous machines make available. How to Survive a Robot Invasion is a fascinating and accessible volume for students and researchers of new media, philosophy of technology, and their many related fields. It aims both to assist readers' efforts to understand a changing world and to provide readers with the critical insight necessary for grappling with our science fiction-like future. (shrink)

In response to a recent argument by David Bloor, I argue that denying absolutes does not necessarily lead to relativism, that one can be a fallibilist without being a relativist. At issue are the empirical natural sciences and what might be called “framework relativism”, that is, the idea that there is always a conceptual scheme or set of practices in use, and all observations are theory-laden relative to the framework. My strategy is to look at the elements that define (...) a relativist stance and show where the pragmatic fallibilist disagrees. Defending the pragmatic notion of experience will be central, given that relativists reject the idea that experience can play a role in objectively justifying belief. We can reject all absolutes and start from the premise that everything is historical, contingent, and situated. One of the lessons of pragmatism is that universal and fixed principles are not necessary for objective knowledge. (shrink)

The basic question of ontology is “What exists?”. The basic question of metaontology is: are there objective answers to the basic question of ontology? Here ontological realists say yes, and ontological anti-realists say no.

What happens when machines become more intelligent than humans? One view is that this event will be followed by an explosion to ever-greater levels of intelligence, as each generation of machines creates more intelligent machines in turn. This intelligence explosion is now often known as the “singularity”. The basic argument here was set out by the statistician I.J. Good in his 1965 article “Speculations Concerning the First Ultraintelligent Machine”: Let an ultraintelligent machine be defined as a machine that can far (...) surpass all the intellectual activities of any man however clever. Since the design of machines is one of these intellectual activities, an ultraintelligent machine could design even better machines; there would then unquestionably be an “intelligence explosion”, and the intelligence of man would be left far behind. Thus the first ultraintelligent machine is the last invention that man need ever make. The key idea is that a machine that is more intelligent than humans will be better than humans at designing machines. So it will be capable of designing a machine more intelligent than the most intelligent machine that humans can design. So if it is itself designed by humans, it will be capable of designing a machine more intelligent than itself. By similar reasoning, this next machine will also be capable of designing a machine more intelligent than itself. If every machine in turn does what it is capable of, we should expect a sequence of ever more intelligent machines. This intelligence explosion is sometimes combined with another idea, which we might call the “speed explosion”. The argument for a speed explosion starts from the familiar observation that computer processing speed doubles at regular intervals. Suppose that speed doubles every two years and will do so indefinitely. Now suppose that we have human-level artificial intelligence 1 designing new processors. Then faster processing will lead to faster designers and an ever-faster design cycle, leading to a limit point soon afterwards. The argument for a speed explosion was set out by the artificial intelligence researcher Ray Solomonoff in his 1985 article “The Time Scale of Artificial Intelligence”.1 Eliezer Yudkowsky gives a succinct version of the argument in his 1996 article “Staring at the Singularity”: “Computing speed doubles every two subjective years of work.. (shrink)

Why is two-dimensional semantics important? One can think of it as the most recent act in a drama involving three of the central concepts of philosophy: meaning, reason, and modality. First, Kant linked reason and modality, by suggesting that what is necessary is knowable a priori, and vice versa. Second, Frege linked reason and meaning, by proposing an aspect of meaning (sense) that is constitutively tied to cognitive signi?cance. Third, Carnap linked meaning and modality, by proposing an aspect of meaning (...) (intension) that is constitutively tied to possibility and necessity. (shrink)

In response to a recent argument by David Bloor, I argue that denying absolutes does not necessarily lead to relativism, that one can be a fallibilist without being a relativist. At issue are the empirical natural sciences and what might be called “framework relativism”, that is, the idea that there is always a conceptual scheme or set of practices in use, and all observations are theory-laden relative to the framework. My strategy is to look at the elements that define (...) a relativist stance and show where the pragmatic fallibilist disagrees. Defending the pragmatic notion of experience will be central, given that relativists reject the idea that experience can play a role in objectively justifying belief. We can reject all absolutes and start from the premise that everything is historical, contingent, and situated. One of the lessons of pragmatism is that universal and fixed principles are not necessary for objective knowledge. (shrink)

In the Garden of Eden, we had unmediated contact with the world. We were directly acquainted with objects in the world and with their properties. Objects were simply presented to us without causal mediation, and properties were revealed to us in their true intrinsic glory.

David J. Kalupahana's Buddhist Philosophy: A Historical Analysis has, since its original publication in 1976, offered an unequaled introduction to the philosophical principles and historical development of Buddhism. Now, representing the culmination of Dr. Kalupahana's thirty years of scholarly research and reflection, A History of Buddhist Philosophy builds upon and surpasses that earlier work, providing a completely reconstructed, detailed analysis of both early and later Buddhism.